xen/arm: gic-v3: Add support of vGICv2 when available
authorJulien Grall <julien.grall@citrix.com>
Tue, 7 Jul 2015 16:22:34 +0000 (17:22 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Thu, 9 Jul 2015 11:17:43 +0000 (12:17 +0100)
commit17c185b0241d01cde2fed72d042a10ec578337c3
tree4a000529fa8e148cf6024a948d2bd82b3e6cf344
parent90a100f86cd02987d30479dfdbfc2d76d53b9ef3
xen/arm: gic-v3: Add support of vGICv2 when available

* Modify the GICv3 driver to recognize a such device. I wasn't able
  to find a register which tell if GICv2 is supported on GICv3. The only
  way to find it seems to check if the DT node provides GICC and GICV.

* Disable access to ICC_SRE_EL1 to guest using vGICv2

* The LR is slightly different for vGICv2. The interrupt is always
injected with group0.

* Add a comment explaining why Group1 is used for vGICv3.

Signed-off-by: Julien Grall <julien.grall@citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/gic-v3.c